141. How to think about algorithms
پدیدآورنده : Edmonds, Jeff, Jeff Edmonds
موضوع : Study and teaching ، Algorithms,Study and teaching ، Loops )Group theory(,Study and teaching ، Invariants,Study and teaching ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
142. How to think about algorithms
پدیدآورنده : Edmonds, Jeff, 3691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Study and teaching ، Algorithms,Study and teaching ، Loops )Group theory(,Study and teaching ، Invariants,Study and teaching ، Recursion theory
رده :
QA
9
.
58
.
E35H6
143. Induction, recursion, and programming
پدیدآورنده : Wand, Mitchell
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Induction )Mathematics(,، Recursion theory
رده :
QA
76
.
6
.
W34
144. Information politics :
پدیدآورنده : Tim Jordan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information society-- Politics and government.,Internet-- Political aspects.,Internet-- Social aspects.,Information theory.,Internet-- Political aspects.,Internet-- Social aspects.,SOCIAL SCIENCE-- General.
رده :
HM851
.
J67
2015eb
145. Insurance risk and ruin /
پدیدآورنده : David C.M. Dickson, University of Melbourne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Risk (Insurance),Risk (Insurance),Ruintheorie,Versicherungsbetriebslehre
رده :
HG8781
.
D53
2017
146. Intelligent Tutoring Systems :
پدیدآورنده : edited by Claude Frasson, Gilles Gauthier, Gordon I. McCalla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
147. Interactivity, game creation, design, learning, and innovation :
پدیدآورنده : Anthony L. Brooks, Eva Brooks, Cristina Sylla (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Art and technology, Congresses.,Computer graphics, Congresses.,Computer vision, Congresses.,Multimedia systems, Congresses.,Art and technology.,Computer graphics.,Computer vision.,Multimedia systems.
رده :
T385
.
I58
2018eb
148. Introduction to abstract algebra /
پدیدآورنده : W. Keith Nicholson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Abstract.,Algebra, Abstract.
رده :
QA162
.
N53
2012
149. Introduction to discrete mathematics via logic and proof /
پدیدآورنده : Calvin Jongsma.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Discrete mathematics.,Discrete mathematics.
رده :
QA297
.
4
150. Introduction to graphene-based nanomaterials :
پدیدآورنده : Luis E. F. Foa Torres, Argentine National Council for Science and Technology (CONICET) and National University of Córdoba, Argentina, Stephan Roche, ICREA and Catalan Institute of Nanoscience and Nanotechnology, Jean-Christophe Charlier, University of Louvain, Belgium
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Graphene,Nanostructured materials,Quantum theory
رده :
TA418
.
9
.
N35
F63
2013
151. Introduction to lattice theory with computer science applications /
پدیدآورنده : Vijay K. Garg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.
رده :
QA76
.
9
.
L38
152. Introduction to queueing networks :
پدیدآورنده : J. MacGregor Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial engineering-- Mathematics.,Mathematical models.,Queuing networks (Data transmission)-- Mathematics.,Queuing theory-- Mathematics.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Transportation Technology and Traffic Engineering.,3D graphics & modelling.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Highway & traffic engineering.,Industrial engineering-- Mathematics.,Mathematical modelling.,Mathematical models.,Queuing networks (Data transmission)
رده :
T57
.
9
.
S625
2018
153. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
154. Language and recursion
پدیدآورنده : / Francis Lowenthal, Laurent Lefebvre, editors
کتابخانه: کتابخانه مرکز روانپزشکی رازی (تهران)
موضوع : Biolinguistics,Grammar, Comparative and general, Syntax,Language and languages, Philosophy,Recursion theory
رده :
Ebook
155. Language and recursion
پدیدآورنده : / Francis Lowenthal, Laurent Lefebvre, editors
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع : Biolinguistics,Grammar, Comparative and general, Syntax,Language and languages, Philosophy,Recursion theory
رده :
Ebook
156. Linear prediction theory :
پدیدآورنده : Peter Strobach
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA279
.
2
P484
2012
157. Locally decodable codes and private information retrieval schemes /
پدیدآورنده : Sergey Yekhanin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data encryption (Computer science),Information retrieval.,COMPUTERS-- Security-- Cryptography.,Data encryption (Computer science),Fehlerkorrekturcode,Information Retrieval,Information retrieval.,Informatique.,Kryptologie,Privatsphäre,Sicherheitsprotokoll
رده :
QA76
.
9
.
A25
Y45
2010eb
158. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
159. Logic and Complexity
پدیدآورنده : by Richard Lassaigne, Michel Rougemont.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
160. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
